Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
151	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-04 22:46:44 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
152	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-31 16:13:54 Business Workflow Business Process Execution Language Petri net Scientific workflow system Service-oriented architecture Mediation YAWL Kepler scientific workflow system Workflow technology Management Systems engineering
153	Fiona A Tool to Analyze Interacting Open Nets Peter Massuthe and Daniela Weinberg Humboldt–Universität zu Berlin, Institut für Informatik Unter den Linden 6, 10099 Berlin, Germany {massuthe,weinberg}@informatik.hu-be Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2008-08-21 06:31:13 Model checking Net Fiona Mathematics Concurrency Diagrams Petri net
154	Decompositional Computation of Operating Guidelines Using Free Choice Conflicts Niels Lohmann∗ Universit¨ at Rostock, Institut f¨ ur Informatik,  Rostock, Germany Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2008-08-27 09:51:08 Process management General topology Systems engineering Management Business Process Execution Language Net Complete metric space Computing Concurrency Diagrams Petri net
155	Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization Matthias Althoff [removed] Akshay Rajhans Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-10-23 12:11:04 Oscillators Concurrency Electronic design Phase-locked loop Charge pump Petri net Reachability Electronic engineering Electronics Electrical engineering
156	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2007-02-12 21:22:45 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
157	Executable Ontological Business Process Model Add to Reading List Source URL: is2.lse.ac.uk Language: English Information Data Systems engineering Databases Petri net Scientific modelling Nested transaction Simulation Database transaction Transaction processing Data management Enterprise modelling
158	Model support for confidential service-oriented business processes Andreas Lehmann and Niels Lohmann Universit¨ at Rostock, Institut f¨ ur Informatik, 18051 Rostock, Germany Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-02-16 03:46:02 Binary decision diagram Computer science Mathematics Theoretical computer science Diagrams Concurrency Petri net
159	RI Business Process Model and Notation (BPMN), 18 business rule management system (BRMS), 7 Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-31 16:13:54 Business Workflow Petri net Business Process Execution Language Orchestration Service-oriented architecture XPDL Taverna workbench Business process modeling Workflow technology Systems engineering Management
160	Where did I go wrong? Explaining errors in business process models Niels Lohmann Universität Rostock, Institut für Informatik, 18051 Rostock, Germany [removed] Abstract. Business process modeling is Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-03-27 03:32:37 Petri net Management Formal methods Model checking Workflow Process calculus Science TAPAAL Model Checker Concurrency Models of computation Diagrams

UPDATE